../psi/prng.cc